fmap(f)(safeHead(List.empty)) == fmap(f)(None) == None